1) American invention 2) Computability theory 3) Model of computation
Found on
https://www.crosswordclues.com/clue/lambda-calculus
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic and computer science for expressing computation based on function abstraction and application using variable binding and substitution. First formulated by Alonzo Church to formalize the concept of effective computability, lambda calculus found early successes in...
Found on
http://en.wikipedia.org/wiki/Lambda_calculus
(from the article `artificial intelligence`) In 1960 John McCarthy combined elements of IPL with the lambda calculus (a formal mathematical-logical system) to produce the programming language ... ...based on a classical propositional logic arose with the renewed interest in Frege`s theory of properties begun by Alonzo Church in the late...
Found on
http://www.britannica.com/eb/a-z/l/9
A model of computation that is capable of universal computation. The Lisp programming language was inspired by lambda calculus.
Found on
http://www.daviddarling.info/encyclopedia/L/lambda_calculus.html
A model of computation that is capable of universal computation. The Lisp programming language was inspired by Lambda calculus.
Found on
http://www.encyclo.co.uk/local/20090
No exact match found.
